Abstractions for Distributed Programming Springer-verlag
نویسندگان
چکیده
ions for Distributed Programming
منابع مشابه
Editorial: Why coordination models and languages in ai?
ion. In J.-J. C. Meyer and P.-Y. Schobbens, eds., Formal Models of AgentsÈESPRITProject ModelAge Final Report, 1760, L NAI, Springer-Verlag, pp. 90È102. Denti, E., A. Natali, and A. Omicini. 1998. On the expressive power of a language for programming coordination media. In SAC, 1999, pp. 169È177. Finin, T., Y. Labrou, and R. Scott Cost. 2001. Coordinating agents using agent communication la...
متن کاملa COMPOSING CROSSCUTTING CONCERNS USING COMPOSITION FILTERS
ing object-interactions using composition-filters. In R. Guer-raoui, O. Nierstrasz, and M. Riveill, Eds., Object-based Distributed Pro-cessing, Springer-Verlag, 1993. 3. Aksit, M., Bosch, J., Sterren, W., and Bergmans, L. Real-time specifi-cation inheritance anomalies and real-time filters. In Proceedings ofECOOP ‘94, Springer Verlag, 1994.4. Aksit, M. and Bergmans, L. Guide...
متن کاملSoftware Verification with BLAST
ion of C programs. In PLDI 01: Programming Language Design and Implementation, pages 203–213. ACM, 2001. 2. S. Das, D. L. Dill, and S. Park. Experience with predicate abstraction. In CAV 99: Computer-Aided Verification, LNCS 1633, pages 160–171. Springer-Verlag, 1999. 3. D. Detlefs, G. Nelson, and J. Saxe. Simplify theorem prover. 4. T.A. Henzinger, R. Jhala, R. Majumdar, G.C. Necula, G. Sutre,...
متن کاملGenerating Finite-State Abstractions of Reactive Systems Using Decision Procedures
We present an algorithm that uses decision procedures to generate finite-state abstractions of possibly infinite-state systems. The algorithm compositionally abstracts the transitions of the system, relative to a given, fixed set of assertions. Thus, the number of validity checks is proportional to the size of the system description, rather than the size of the abstract state-space. The generat...
متن کاملFrom Organisation Oriented Programming to Multi-agent Oriented Programming
Social and organizational aspects of agency have become a major issue in the Multi-Agent Systems (MAS) domain. Recent applications of MAS on Web and Ambient Computing enforce the need of using these dimensions in the programming of MAS. The aim is to ensure the governance of such systems while preserving their decentralization and openness. In this talk, we present how multi-agent organisations...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003